iOS 101 Hands-On Challenges Copyright © 2014 Razeware LLC. All rights reserved. No part of this book or corresponding materials (such as text, images, or source code) may be reproduced or distributed by any

Source URL: cdn3.raywenderlich.com

• Constraint programming
• GUI widget
• Constraint logic programming

Truck-Task scheduling using DPOP (Semester project) Supervisors: Brammert Ottens (Artificial Intelligence Laboratory) Adrian Pectu(Artificial Intelligence Laboratory)

Source URL: liawww.epfl.ch

• Distributed constraint optimization
• Automated planning and scheduling
• Computing
• Software
• Computer programming
• Operations research
• Mathematical optimization
• DCOP

Trying Again to Fail-First
J. Christopher Beck , Patrick Prosser and Richard J. Wallace 

Source URL: tidel.mie.utoronto.ca

• Search algorithms
• Heuristic function
• Heuristic
• Artificial intelligence
• Constraint satisfaction problem
• Local consistency
• Backtracking
• Science
• Innovation
• Constraint programming
• Heuristics
• Operations research

Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto

Source URL: www.cs.toronto.edu

• NP-complete problems
• Automated theorem proving
• Constraint programming
• Boolean algebra
• Formal methods
• DPLL algorithm
• Boolean satisfiability problem
• Conjunctive normal form
• Lookup table
• Theoretical computer science
• Applied mathematics
• Mathematics

CREATIVITY IN A CONSTRAINED WORLD: WRITTEN BY Ben Malbon

Source URL: think.storage.googleapis.com

Vehicle Routing and Job Shop Scheduling: What’s the difference?∗ J. Christopher Beck Patrick Prosser and Evgeny Selensky Cork Constraint Computation Center

Source URL: tidel.mie.utoronto.ca

• Theoretical computer science
• Vehicle routing problem
• Job shop scheduling
• Scheduling
• Linear programming
• Guided Local Search
• Constraint satisfaction
• Optimization problem
• Mathematical optimization
• Operations research
• Applied mathematics
• Mathematics

Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs Ivan Heckman1 and J. Christopher Beck1,2 1 2

Source URL: tidel.mie.utoronto.ca

• Search algorithms
• Mathematical optimization
• Applied mathematics
• Artificial intelligence
• Mathematics
• Heuristic function
• Heuristic
• Constraint satisfaction
• Constraint optimization
• Operations research
• Constraint programming
• Heuristics

A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial

Source URL: www.cs.toronto.edu

• Mathematics
• Model theory
• Constraint programming
• Boolean algebra
• Skolem normal form
• Davis–Putnam algorithm
• First-order logic
• Resolution
• Vampire
• Mathematical logic
• Logic
• Automated theorem proving

Fragment-Based Planning Using Column Generation Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, and National ICT Australia and

Source URL: people.eng.unimelb.edu.au

• Linear programming
• Relaxation
• Duality
• Constraint programming
• Constraint
• Mathematical optimization
• Operations research
• Convex optimization

GlobSol-user-guide-for-GOMS-revision.dvi

Source URL: interval.louisiana.edu

• Computer programming
• Constraint programming
• Operations research
• Fortran
• Local consistency
• Constraint
• Convex optimization
• Mathematical optimization
• Computing
• Software engineering